例句與造句

1. Extended Static Checking was pioneered in ESC / Modula-3 and, later, ESC / Java.
2. This was done under the auspices of the Larch / Modula-3 ( see Larch family ) and Extended static checking projects at DEC Systems Research Center.
3. A number of other languages have adopted ESC, including SPARKada and VHDL VSPEC . However, there is currently no widely used software programming language that provides extended static checking in its base development environment.
4. All verification conditions must be shown to be false ( hence correct by means of excluded third ) in order for a method to pass extended static checking ( or " unable to find more errors " ).
5. It's difficult to find extended static checking in a sentence. 用extended static checking造句挺難的